#ifndef MSR_H_
#define MSR_H_

#include <types.h>

dword inline msr_read_cr0(void);
void inline msr_write_cr0(dword cr0);
dword inline msr_read_cr3(void);
void inline msr_write_cr3(dword cr3);
void inline msr_write(dword msr, dword lo, dword hi);
void inline msr_read(dword msr, dword *lo, dword *hi);

#endif /*MSR_H_*/
